$\forall$$L$:MsgA List. ma{-}is{-}empty($\oplus$($L$)) $\in$ $\mathbb{B}$